#include <terms/Term.hpp>


namespace std {
	string
	to_string(const terms::Term &term)
	{
		return term.to_string();
	}

	ostream &
	operator <<(ostream &os, const terms::Term &term)
	{
		return os << to_string(term);
	}
}	
